Praxis Critical Systems
نویسندگان
چکیده
With conventional methods of performing verification and validation heavily reliant on testing performed late in the software production process the late detection of errors adds substantially to project costs and delays in delivery, and introduces significant risks. This paper presents a method of software development aimed at "correctness by construction", which greatly attenuates these problems. The process described here has been applied successfully to the development of avionic software for the new C-130J ("Hercules") aircraft.
منابع مشابه
Critical research in information systems: looking forward, looking back
Purpose – The purpose of this article is to reflect on the development of critical research in information systems and give an overview of the papers chosen for this special issue. Design/methodology/approach – To set the scene by discussing the origins and the developing field of critical research in information systems and to analyse each paper, suggesting ways in which it relates to the chos...
متن کاملRequirements Engineering: How Do You Know How Good You Are?
Organisations are seeking to improve the way they undertake engineering activities. There are numerous ways of doing this, one of which is to undertake an on-going process, or capability, enhancement activity. Praxis Critical Systems Limited provides support for such activity based primarily around the REVEAL ® requirements engineering method. By providing customised training and coaching in RE...
متن کاملThe Relationship of ‘Systems Thinking’ to Action Research
This article investigates the relationship of systems thinking to action research by reviewing the main developments in systems thinking and relating these to action research. There are two main lines of thought in systems thinking that lead to wholly different conceptions about action research. The first (systems thinking) advocates thinking about real social systems that it assumes exist in t...
متن کاملToward a Critical Ethnography of Librarian-Supported Collaborative Learning
The emerging multidisciplinary field of computer-supported collaborative learning (CSCL) has the potential to address several theoretical, political, and praxis issues within academic librarianship. Conversely, librarians are uniquely situated to contribute to the ongoing development of CSCL, and the library is an ideal “place” for the development, implementation, and evaluation of collaborativ...
متن کاملConcrete and Abstract Racial Domination
The debate between Mike Cole and David Gillborn which has raged in Power and Education and elsewhere is indicative of a widening schism between Marxism and critical race theory. To describe this debate as orientated around the status of ‘race’ or ‘class’ as the central object of social theory, such as in the current debate about the ‘white working class’ in education, is unhelpful. Rather than ...
متن کامل